Parallel Simulation and Lotos: Research In Progress
نویسنده
چکیده
This work was supported in part by Svenska institutet (The Swedish Institute), Stockholm, Sweden; Axel Wenner-Gren Stiftelse (The Axel Wenner-Gren Foundation for Scientific Research), Stockholm, Sweden; the Information Technology Research Centre (ITRC) of the Province of Ontario (Canada); and by the Natural Sciences and Engineering Research Council (NSERC) of Canada. This report was prepared while the author was on sabbatical from the Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1.
منابع مشابه
A New Model for Parallel Discrete Event Simulation
This report describes a new model for parallel discrete event simulation based on the notions of processes and gates and on the rendezvous mechanism defined in the the basic Lotos process algebra[1]. The model presented in this report requires a statically determined fixed number of processes and gates. Whereas it may be possible to simulate many Lotos specifications using this model, no claim ...
متن کاملAn Attributed, Time-Delayed Rendezvous Model for Parallel Discrete Event Simulation
This report extends the model for parallel discrete event simulation presented in [9– 11] by introducing the notion attributes (messages). The model is based on the notions of processes and gates and on the rendezvous mechanism defined in the the basic Lotos process algebra[2]. Time is introduced via a mechanism similar to the delay behaviour annotation provided by the Topo toolset[4–6]. Commun...
متن کاملPROSPEX : A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
In LOTOS, requirements for a distributed system are described as a service definition. On the protocol level, each node(protocol entity) must exchange some data values and synchronization messages to provide a service described in a service definition. The tuple of the specifications of all nodes in the system which provide the service is called as a protocol specification. In order to develop ...
متن کاملRT-LOTOS and Its Application to Multimedia Protocol Specification and Validation
The paper presents a new Formal Description Technique , RT-LOTOS (Real-Time LOTOS), which is a temporal extension of the standard Formal Description Technique LOTOS. After a brief introduction to Basic LOTOS, the main time-related operators of RT-LOTOS are detailed step by step on small examples, and then formalized (RT-LOTOS operational semantics). The second part of the paper shows the applic...
متن کاملTime , E - LOTOS , and the
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
متن کامل